1

Safety-critical systems, formal methods and standards

Year:
1993
Language:
english
File:
PDF, 1.98 MB
english, 1993
2

The practice of formal methods in safety-critical systems

Year:
1995
Language:
english
File:
PDF, 1.37 MB
english, 1995
3

A theory of Orwellian specifications with NewThink

Year:
1995
Language:
english
File:
PDF, 1.30 MB
english, 1995
4

Integration in software intensive systems

Year:
1999
Language:
english
File:
PDF, 332 KB
english, 1999
5

The formal specification of safety requirements for storing explosives

Year:
1993
Language:
english
File:
PDF, 1.85 MB
english, 1993
6

Gordon's computer: A hardware verification case study in OBJ3

Year:
1994
Language:
english
File:
PDF, 2.13 MB
english, 1994
7

Decomposition in Real-Time Safety-Critical Systems

Year:
1998
Language:
english
File:
PDF, 115 KB
english, 1998
8

Architectural analysis of component-based systems

Year:
2000
Language:
english
File:
PDF, 276 KB
english, 2000